and Research - PDFSEARCH.IO - Document Search Engine

and Research
Results: 260368

#	Item
151	Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Computational complexity theory Theoretical computer science Mathematical logic NP-complete problems Electronic design automation Formal methods Logic in computer science Predicate logic Boolean satisfiability problem Quantifier Limit of a function Exponential time hypothesis
152	Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient Add to Reading List Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com Language: English - Date: 2014-11-03 11:28:51 Knowledge representation Computing Information science Technical communication Information Semantic Web Knowledge engineering Ontology Resource Description Framework Upper ontology Open data SPARQL
153	Cryptology and Its Applications Nordic Research Training course, Bergen Zero knowledge and some applications Helger Lipmaa Add to Reading List Source URL: kodu.ut.ee Language: English - Date: 2008-09-12 11:33:08 Cryptography Computational complexity theory Zero-knowledge proof Zero knowledge Interactive proof system IP NP Cryptographic protocol Proof of knowledge Oblivious transfer
154	Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨ Add to Reading List Source URL: www.microsoft.com Language: English - Date: 2018-01-04 03:04:14 Formal languages Tree Heap Binary tree Context-free grammar Computing Software engineering Mathematics Regular tree grammar
155	AP: Artificial Programming Rishabh Singh1 and Pushmeet Kohli1 1 Cognition Group, Microsoft Research , Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Artificial neural networks Computational neuroscience Applied mathematics Computing Artificial intelligence Cognitive science Computational statistics Market research Convolutional neural network Deep learning Recurrent neural network Domain-specific language
156	The State of Internet Censorship in Egypt A research study by: Open Observatory of Network Interference (OONI) Association for Freedom of Thought and Expression (AFTE) Add to Reading List Source URL: ooni.torproject.org Language: English - Date: 2018-10-19 07:05:34 Internet in Egypt Internet censorship Deep packet inspection Telecom Egypt Ministry of Communications and Information Technology Economy of Africa Information and communications technology Economy of Egypt Internet censorship and surveillance by country Internet censorship in Tunisia
157	UCBoost: A Boosting Approach to Tame Complexity and Optimality for Stochastic Bandits Add to Reading List Source URL: www.research.att.com Language: English - Date: 2018-10-03 19:00:09 Analysis of algorithms Machine learning Statistics Computational complexity theory Computer science Probability and statistics Multi-armed bandit Stochastic optimization Time complexity Divergence Asymptotically optimal algorithm KullbackLeibler divergence
158	HONG KONG INSTITUTE FOR MONETARY RESEARCH IMPLICATIONS OF LOAN PORTFOLIO CONCENTRATION FOR BANKS’ CREDIT RISK AND RETURN: EVIDENCE FROM HONG KONG Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-10-12 04:21:56 Economy Financial services Finance Financial law Banking Economics Systemic risk Concentration risk Bank Credit risk Asset and liability management Financial crisis of 20072008
159	Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient Add to Reading List Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com Language: English - Date: 2015-11-27 10:43:10 Computing Information science Data management Semantic Web Knowledge representation Query languages Technical communication SPARQL Resource Description Framework Linked data RDF query language Ontology
160	DASHTrails: An Approach for Modeling and Analysis of Distribution-Adapted Sequential Hypotheses and Trails Martin Atzmueller and Andreas Schmidt and Mark Kibanov University of Kassel, Research Center for Information Syst Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:45:19 Design of experiments Statistics Probability and statistics Markov models Statistical theory Psychometrics Statistical hypothesis testing Graph theory Markov chain Bayesian inference Matrix Data transformation

UPDATE